On Galois Comodules
نویسنده
چکیده
Generalising the notion of Galois corings, Galois comodules were introduced as comodules P over an A-coring C for which PA is finitely generated and projective and the evaluation map μC : Hom (P, C) ⊗S P → C is an isomorphism (of corings) where S = End(P ). It was observed that for such comodules the functors HomA(P,−)⊗S P and −⊗A C from the category of right A-modules to the category of right C-comodules are isomorphic. In this note we call modules P with this property Galois comodules without requiring PA to be finitely generated and projective. This generalises the old notion with this name but we show that essential properties and relationships are maintained. These comodules are close to being generators and have some common properties with tilting (co)modules. Some of our results also apply to generalised Hopf Galois (coalgebra Galois) extensions. AMS Classicfication: 16W30, 16D90, 16D80
منابع مشابه
Quasi-co-frobenius Corings as Galois Comodules
We compare several quasi-Frobenius-type properties for corings that appeared recently in literature and provide several new characterizations for each of these properties. By applying the theory of Galois comodules with a firm coinvariant ring, we can characterize a locally quasi-Frobenius (quasi-co-Frobenius) coring as a locally projective generator in its category of comodules.
متن کاملOn Galois corings
For a long period the theory of modules over rings on the one hand and comodules and Hopf modules for coalgebras and bialgebras on the other side developed quite independently. In this talk we want to outline how ideas from module theory can be applied to enrich the theory of comodules and vice versa. For this we consider A-corings C with grouplike elements over a ring A, in particular Galois c...
متن کاملgalois extension for a compact quantum group
The aim of this paper is to introduce the quantum analogues of torsors for a compact quantum group and to investigate their relations with representation theory. Let A be a Hopf algebra over a field k. A theorem of Ulbrich asserts that there is an equivalence of categories between neutral fibre functors on the category of finitedimensional A-comodules and A-Galois extensions of k. We give the c...
متن کاملGroup Corings
We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings are defined, and a Structure Theorem for the G-comodules over a Galois group coring is given. We study (graded) Morita contexts associated to a group coring. Our theory is applied to group corings associated to a comodu...
متن کاملGalois Functors and Entwining Structures
Galois comodules over a coring can be characterised by properties of the relative injective comodules. They motivated the definition of Galois functors over some comonad (or monad) on any category and in the first section of the present paper we investigate the role of the relative injectives (projectives) in this context. Then we generalise the notion of corings (derived from an entwining of a...
متن کامل